Quantale-valued fuzzy Scott topology
Authors
Abstract:
The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varepsilon)$ is called a generalized GL-monoid if$(L,*,varepsilon)$ is a commutative unital quantale and the operation $*$ is$otimes$-semi-distributive. For generalized GL-monoid $L$ as thetruth value table, we systematically propose the stratified$L$-generalized convergence spaces based on stratified $L$-filters,which makes various existing lattice-valued convergence spaces asspecial cases. For $L$ being a commutative unital quantale, wedefine a fuzzy Scott convergence structure on $L$-fuzzy dcpos anduse it to induce a stratified $L$-topology. This is the inducing wayto the definition of quantale-valued fuzzy Scott topology, whichseems an appropriate way by some results.
similar resources
QUANTALE-VALUED SUP-ALGEBRAS
Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...
full textQUANTALE-VALUED GAUGE SPACES
We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...
full textQuantale-valued preorders: Globalization and cocompleteness
Each divisible and unital quantale is associated with two quantaloids. Categories enriched over these two quantaloids can be regarded respectively as crisp sets endowed with fuzzy preorders and fuzzy sets endowed with fuzzy preorders. This paper deals with the relationship between these two kinds of enriched categories. This is a special case of the change-base issue in enriched category theory...
full textPartial Metrics and Quantale-valued Sets (Preprint)
It is observed that the axioms for partial metrics with values in quantales coincide with the axioms for Q-sets (M -valued sets, sets with fuzzy equality, quantale-valued sets) for commutative quantales. Ω-sets correspond to the case of partial ultrametrics.
full textRough approximation operators based on quantale-valued fuzzy generalized neighborhood systems
Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...
full textThe Scott Topology . Part II
The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...
full textMy Resources
Journal title
volume 16 issue 3
pages 175- 188
publication date 2019-06-29
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023